161. Logical foundations of computer science

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer science ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Programa??o l?gica (congressos) ; larpcal. ; Ci??ncia da computa??o (congressos) ; larpcal. ;

162. Logical foundations of computer science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Computer science Congresses,، Logic, Symbolic and mathematical Congresses

رده :
QA
75
.
5
.
L64
2009

163. Logical foundations of computer science--Tver '92

پدیدآورنده :

موضوع : Computers -- Congresses,Electronic data processing -- Congresses,Logic, Symbolic and mathematical -- Congresses

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.

164. Logical foundations of computer science- Tver'92: second International Symposium: Tver, Russia, Julay 20-24, 1992: proceedigns

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
620

165. Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L4
v
.
620

166. Logical foundations of computer science : 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6-12, 1997 : proceedigns

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1234

167. Logical foundations of computer science : 4th international symposium, LFCS '97 Yaroslava, Russia, July 6-12, 1997 : proceedings

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
75
.
5
.
L64
1997

168. Logical foundations of computer science : third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
813

169. Logical foundations of computer science : third international symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Computer science - Congresses , Logic, Symbolic and mathematical - Congresses

رده :
QA
75
.
5
.
L64
1994

170. Logics in AI : European Workshop JELIA'90, Amsterdam, the Netherlands, September 10-14, 1990 :proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic programming,Data processing -- Congresses ، Semantics,Congresses ، Logic, Symbolic and mathematical,Congresses ، Nonclassical mathematical logic

رده :
QA
76
.
L28
Vol
.
478

171. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses

رده :
Q
334
.
E985
1990

172. Logics in artificial intelligence :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Artificial intelligence.,Logic, Symbolic and mathematical.

رده :
Q334

173. Logics in artificial intelligence

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)

موضوع : Artificial intelligence- Congresses,Logic, Symbolic and mathematical- Congresses

رده :
Q
,
334
,.
E985

174. Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October, 1998 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1489

175. Logics in artificial intelligence : European Workshop, JELIA 2000, Malaga, Spain, September 29 - October 2, 2000 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1919

176. Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
3229

177. Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
2424

178. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Computer programs-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
76
.
6
.
L5855
1985

179. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
193

180. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L4
v
.
193